GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Polymorphie (Programmierung)</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Polymorphie (Programmierung)</h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">Polymorphie oder Polymorphismus (<a href="Neugriechische_Sprache" title="Neugriechische Sprache">griechisch</a> für Vielgestaltigkeit) ist ein Konzept in der <a href="Objektorientierte_Programmierung" title="Objektorientierte Programmierung">objektorientierten Programmierung</a>, das ermöglicht, dass ein <a href="Bezeichner" title="Bezeichner">Bezeichner</a> abhängig von seiner Verwendung <a href="Objekt_(Programmierung)" title="Objekt (Programmierung)">Objekte</a> unterschiedlichen <a href="Datentyp" title="Datentyp">Datentyps</a> annimmt. In älteren <a href="Typisierung_(Informatik)" title="Typisierung (Informatik)">typisierten</a> <a href="Programmiersprache" title="Programmiersprache">Programmiersprachen</a> wird dagegen jedem Namen und jedem Wert im <a href="Quelltext" title="Quelltext">Quelltext</a> eines <a href="Computerprogramm" title="Computerprogramm">Programms</a> höchstens ein Typ zugeordnet. Dies bezeichnet man als Monomorphie.

<div class="mw-heading mw-heading2"><h2 id="Arten_der_Polymorphie">Arten der Polymorphie</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Polymorphie_überladener_Operatoren">Polymorphie überladener Operatoren</h3></div>

Ein <a href="Bezeichner" title="Bezeichner">Bezeichner</a>, der für einen <a href="Operator_(Mathematik)" title="Operator (Mathematik)">Operator</a> steht (bspw. „+“, „−“), kann mehrmals mit anderer Bedeutung implementiert werden. Für jeden Kontext, in dem der Operator neu deklariert wurde, muss die Implementierung immer eindeutig sein.

<div class="mw-heading mw-heading3"><h3 id="Polymorphie_der_objektorientierten_Programmierung">Polymorphie der objektorientierten Programmierung</h3></div>

Die Polymorphie der objektorientierten <a href="Programmierung" title="Programmierung">Programmierung</a> ist eine Eigenschaft, die immer im Zusammenhang mit <a href="Vererbung_(Programmierung)" title="Vererbung (Programmierung)">Vererbung</a> und <a href="Schnittstelle_(Objektorientierung)" title="Schnittstelle (Objektorientierung)">Schnittstellen</a> (Interfaces) auftritt. Eine Methode ist polymorph, wenn sie in verschiedenen Klassen die gleiche <a href="Signatur_(Programmierung)" title="Signatur (Programmierung)">Signatur</a> hat, jedoch erneut implementiert ist.

Gibt es in einem Vererbungszweig einer Klassenhierarchie mehrere <a href="Methode_(Programmierung)" title="Methode (Programmierung)">Methoden</a> auf unterschiedlicher Hierarchieebene, jedoch mit gleicher <a href="Signatur_(Programmierung)" title="Signatur (Programmierung)">Signatur</a>, wird erst zur Laufzeit bestimmt, welche der Methoden für ein gegebenes Objekt verwendet wird (<a href="Dynamisches_Binden" class="mw-redirect" title="Dynamisches Binden">Dynamisches Binden</a>). Bei einer mehrstufigen Vererbung wird jene Methode verwendet, die direkt in der Objektklasse (d. h. jene <a href="Klasse_(Objektorientierung)" title="Klasse (Objektorientierung)">Klasse</a>, von der das <a href="Objekt_(Programmierung)" title="Objekt (Programmierung)">Objekt</a> ein Exemplar ist) definiert ist, oder jene, die im Vererbungszweig am weitesten „unten“ liegt (d. h. die Methode, die von der Vererbung her am nächsten ist).

Moderne Konzepte kennen jedoch auch Polymorphie über Klassengrenzen hinaus. So erlaubt die <a href="Programmiersprache" title="Programmiersprache">Programmiersprache</a> <a href="Objective-C" title="Objective-C">Objective-C</a> die Polymorphie zwischen zwei gleichnamigen <a href="Methode_(Programmierung)" title="Methode (Programmierung)">Methoden</a>, die in verschiedenen <a href="Klasse_(Objektorientierung)" title="Klasse (Objektorientierung)">Klassen</a> erstmals definiert sind.

<div class="mw-highlight mw-highlight-lang-objc mw-content-ltr" dir="ltr"><pre>// NSObject kennt nicht -doSomething

@interface KlasseA : NSObject {

…

}

- (void) doSomething;

@end

@interface KlasseB : NSObject {

…

}

- (void) doSomething;

@end

</pre></div>

<div class="mw-highlight mw-highlight-lang-objc mw-content-ltr" dir="ltr"><pre>// irgendwo

id object = … // Ein Objekt einer beliebigen Klasse

[object doSomething]; // polymorph zwischen KlasseA und KlasseB

</pre></div>

Die Subklasse-vor-Basisklasse-Regel gilt auch hier: Wenn die KlasseB zur KlasseC abgeleitet wird, würde die entsprechende Methode der KlasseC ausgeführt.

<div class="mw-heading mw-heading3"><h3 id="Polymorphie_einer_Funktion_bzw._Prozedur">Polymorphie einer Funktion bzw. Prozedur</h3></div>

Ist der Rückgabewert oder ein Argument einer <a href="Funktion_(Programmierung)" title="Funktion (Programmierung)">Funktion</a> polymorph, so heißt die Funktion polymorphe Funktion. Mit Hilfe polymorpher Funktionen kann die <a href="Generische_Programmierung" title="Generische Programmierung">Generizität</a> von <a href="Datenstruktur" title="Datenstruktur">Datenstrukturen</a> auch in <a href="Algorithmus" title="Algorithmus">Algorithmen</a> angewandt werden.<a href="#cite_note-1">[1]</a>

<div class="mw-heading mw-heading3"><h3 id="Polymorphie_von_Datentypen_oder_Klassen">Polymorphie von Datentypen oder Klassen</h3></div>

Wird für eigene <a href="Datentyp" title="Datentyp">Datentypen</a> bzw. <a href="Klasse_(Objektorientierung)" title="Klasse (Objektorientierung)">Klassen</a> bei der Instanziierung bzw. beim Konstruktoraufruf ein <a href="Parameter_(Informatik)" title="Parameter (Informatik)">Parameter</a> für den tatsächlich verwendeten <a href="Datentyp" title="Datentyp">Datentyp</a> übergeben, spricht man von parametrischer Polymorphie, welche semantisch mit <a href="Generische_Programmierung" title="Generische Programmierung">Generizität</a> übereinstimmt.

<div class="mw-heading mw-heading2"><h2 id="Weitere_Unterteilungen">Weitere Unterteilungen</h2></div>

Folgende weitere Unterteilung ist möglich:

<ul><li>universelle Polymorphie

<ul><li>parametrische Polymorphie</li>

<li>Inklusions-/Vererbungspolymorphie</li></ul></li>

<li>Ad-hoc-Polymorphie

<ul><li>Coercion</li>

<li>Überladung</li></ul></li></ul>

Manchmal wird Ad-hoc-Polymorphie gleichgesetzt mit <a href="%C3%9Cberladen" title="Überladen">Überladen</a>. Das ist auf <a href="Christopher_Strachey" title="Christopher Strachey">Christopher Strachey</a> zurückzuführen,<a href="#cite_note-2">[2]</a> der als Erster Polymorphie in parametrische und Ad-hoc-Polymorphie unterteilte.

Luca Cardelli und Peter Wegner erweiterten Stracheys Konzept um die Inklusionspolymorphie,<a href="#cite_note-3">[3]</a> um Subtypen und Vererbung zu modellieren. Die obige Auflistung spiegelt also Stracheys Einteilung wider, erweitert um die Inklusionspolymorphie von Cardelli und Wegner.

<div class="mw-heading mw-heading3"><h3 id="Universelle_und_Ad-hoc-Polymorphie">Universelle und Ad-hoc-Polymorphie</h3></div>

Universelle Polymorphie unterscheidet sich von Ad-hoc-Polymorphie in mehreren Aspekten. Bei Ad-hoc-Polymorphie kann der einem Namen zugeordnete Wert nur endlich vielen verschiedene Typen angehören. Diese sind zudem während der <a href="Kompilierung" class="mw-redirect" title="Kompilierung">Kompilierung</a> bekannt. Universelle Polymorphie dagegen erlaubt es, jedweden bekannten Typ zuzuordnen; auch solche, die vielleicht erst später definiert werden.

Ein weiterer Unterschied liegt darin, dass die Implementierung einer universell-polymorphen Funktion generell den gleichen Code unabhängig von den Typen ihrer Argumente ausführt, während ad-hoc-polymorphe (also überladene) Funktionen abhängig von den Typen ihrer Argumente völlig unterschiedlich implementiert sein können.

<div class="mw-heading mw-heading3"><h3 id="Überladen_und_Coercion">Überladen und Coercion</h3></div>

<a href="Funktion_(Programmierung)" title="Funktion (Programmierung)">Funktionen</a> sind <a href="%C3%9Cberladen" title="Überladen">überladen</a>, wenn unterschiedliches Verhalten mit demselben Namen verbunden ist. Dies gilt analog für Bezeichner von Operatoren: Beispielsweise ist der <a href="Operator_(Mathematik)" title="Operator (Mathematik)">Operator</a> + in vielen <a href="Programmiersprache" title="Programmiersprache">Programmiersprachen</a> von vornherein überladen. So können mit ihm sowohl ganze Zahlen als auch Gleitkommazahlen addiert werden. Oft wird er auch zur <a href="Konkatenation_(Wort)" class="mw-redirect" title="Konkatenation (Wort)">Stringkonkatenierung</a> verwendet:

<div class="mw-highlight mw-highlight-lang-text mw-content-ltr" dir="ltr"><pre> 42 + 3 (1)

3.14 + 1.0 (2)

"Hallo" + " Welt!" (3)

</pre></div>

Einige <a href="Programmiersprache" title="Programmiersprache">Programmiersprachen</a> unterscheiden dabei, welche Namen <a href="%C3%9Cberladen" title="Überladen">überladen</a> werden dürfen und welche nicht. In <a href="Java_(Programmiersprache)" title="Java (Programmiersprache)">Java</a> ist Methodenüberladung erlaubt, Operatorüberladung außer den schon eingebauten Überladungen wie der des +-Operators aber nicht. Auch in <a href="C-Sharp" title="C-Sharp">C#</a> sind nicht alle Operatoren überladbar. <a href="C%2B%2B" title="C++">C++</a> und manche andere Sprachen erlauben generell beides.

Coercion ist eine Art implizite <a href="Typumwandlung" title="Typumwandlung">Typumwandlung</a>, sozusagen das Anwenden einer unsichtbaren, automatisch eingefügten Funktion, um zum Beispiel Argumente eines Unterprogramms oder einer Funktion in die erwarteten Typen umzuwandeln. Coercion ist mit dem Überladen eng verknüpft, und die Unterschiede sind für den Programmierer nicht unbedingt gleich ersichtlich.

Beispiel:

<div class="mw-highlight mw-highlight-lang-text mw-content-ltr" dir="ltr"><pre> 3.14 + 2 (4)

3 + 2.14 (5)

</pre></div>

In einer Sprache könnte der Additionsoperator lediglich für zwei reelle Zahlen definiert sein. Coercion würde dann dafür sorgen, dass <a href="Ganze_Zahl" title="Ganze Zahl">ganze Zahlen</a> zuerst in <a href="Gleitkommazahl" title="Gleitkommazahl">Gleitkommazahlen</a> umgewandelt werden. In (4) und (5) würde dann Coercion zum Einsatz kommen. Es ist aber auch denkbar, dass der Additionsoperator für mehrere Varianten definiert ist.

Bei der Überladung handelt es sich offenbar nicht um eine echte Form von Polymorphie, da man sich vorstellen könnte, der <a href="Compiler" title="Compiler">Compiler</a> werde die Uneindeutigkeit durch die mehrfache Benutzung eines Symboles zur Kompilationszeit wieder auflösen. Wir erlauben also nur einem Symbol, verschiedene (funktionsartige) Werte zu denotieren, die allerdings unterschiedliche und möglicherweise zueinander inkompatible Typen haben.

Mit Coercions verhält es sich ähnlich. Man könnte meinen, ein <a href="Operator_(Mathematik)" title="Operator (Mathematik)">Operator</a> akzeptiere Operanden verschiedenen Typs (wie das + oben), jedoch müssen die Typen erst für den Operator gewandelt werden. Der Ausgabetyp des Operators hängt also nicht mehr mit den Typen der Operanden zusammen (oder nur partiell), daher kann keine echte Polymorphie vorliegen.

<div class="mw-heading mw-heading3"><h3 id="Parametrische_Polymorphie">Parametrische Polymorphie</h3></div>

Parametrisierte Polymorphie repräsentiert Typen, deren Definitionen Typvariablen enthalten. In <a href="Java_(Programmiersprache)" title="Java (Programmiersprache)">Java</a> spricht man auch von <a href="Generischer_Typ" title="Generischer Typ">generischen Typen</a> oder Generics. Die meisten modernen objektorientierten Programmiersprachen unterstützen parametrische Typdefinitionen, darunter auch <a href="Strongtalk" title="Strongtalk">Strongtalk</a> (eine Variante von <a href="Smalltalk_(Programmiersprache)" title="Smalltalk (Programmiersprache)">Smalltalk</a> mit Typsystem), <a href="C-Sharp" title="C-Sharp">C#</a> oder <a href="Eiffel_(Programmiersprache)" title="Eiffel (Programmiersprache)">Eiffel</a>. In <a href="C%2B%2B" title="C++">C++</a> können generische Typen mit Hilfe sogenannter <a href="Template_(Programmierung)" class="mw-redirect" title="Template (Programmierung)">Templates</a> nachgebildet werden.

Beispiel:

<ul><li>monomorph</li></ul>

<dl><dd><code>TYPE iContainer IS ARRAY OF INTEGER;</code></dd></dl>

<ul><li>polymorph durch Typvariable</li></ul>

<dl><dd><code>TYPE Stack IS ARRAY OF [TYPVARIABLE]</code></dd></dl>

<div class="mw-heading mw-heading4"><h4 id="Beschränkter_parametrischer_Polymorphismus">Beschränkter parametrischer Polymorphismus</h4></div>

Man unterscheidet grundsätzlich

<ul><li>einfachen parametrischen Polymorphismus und</li>

<li>beschränkten parametrischen Polymorphismus.</li></ul>

Letzterer behebt die Probleme der Typsicherheit, die innerhalb von Typdefinitionen dadurch entstehen, dass beim Erstellen der Typdefinition auf Grund der Parametrisierung noch nicht klar ist, Objekte welchen Typs eigentlich Gegenstand der Typ-Operationen (des Protokolls, der Methoden, die Terminologie variiert hier je nach Programmiersprache) sind. Wird durch einen Typ beispielsweise eine numerische Operation definiert, die auf den Elementen des Typs ausführbar sein soll, seine Typvariable dann aber mit einem nichtnumerischen Typen belegt, so würde es zu Laufzeitfehlern kommen. In der Regel verwendet man daher beschränkte parametrische Typen, die für ihre Typvariablen eine Beschränkung auf bestimmte Typen angeben. In Strongtalk wird hierzu bspw. die Typvariable mittels T < Supertyp angegeben, wobei Supertyp die Einschränkung der Typen angibt, die in die Typvariable T eingesetzt werden können. Java ermöglicht die Angabe solcher Einschränkungen mittels der Schreibweise <T extends Supertyp>. In C# gibt es verschiedene Arten von Einschränkungen ("Constraints"), die man für einen Typparameter verlangen kann: Abgeleitet von einer bestimmten Basisklasse, Vorhandensein eines bestimmten Interfaces oder eines parameterlosen Konstruktors sowie weitere. Kombinationen mehrerer Constraints sind möglich, die dann alle erfüllt sein müssen.

<div class="mw-heading mw-heading3"><h3 id="Inklusionspolymorphie">Inklusionspolymorphie</h3></div>

Inklusionspolymorphie bezeichnet die Eigenschaft, jede Methode statt auf einem Subtyp auch auf einem Basistypen ausführen zu können. Subtyping ist demnach eine Form der Inklusionspolymorphie.

Man unterscheidet zwischen:

<ul><li>Kompilationszeit-Polymorphie (statisches Binden)

<dl><dd>Es kann zur Kompilationszeit der Typ des Objekts und somit die aufgerufene Funktion (auch „Methode“ genannt) bestimmt werden.</dd></dl></li></ul>

<ul><li>Laufzeit-Polymorphie (<a href="Dynamisches_Binden" class="mw-redirect" title="Dynamisches Binden">dynamisches Binden</a>).

<dl><dd>Erst zur <a href="Laufzeit_(Informatik)" title="Laufzeit (Informatik)">Laufzeit</a> kann bestimmt werden, welche Methode aufzurufen ist (späte Bindung). Es kann also vom Programmlauf abhängig sein, welche Methode zur Anwendung kommt. Die Laufzeit-Polymorphie ist einer der wichtigsten Bestandteile der <a href="Objektorientierte_Programmierung" title="Objektorientierte Programmierung">objektorientierten Programmierung</a> und wurde zuerst in der Programmiersprache <a href="Smalltalk_(Programmiersprache)" title="Smalltalk (Programmiersprache)">Smalltalk</a> umgesetzt und zum Beispiel in <a href="Objective-C" title="Objective-C">Objective-C</a> eingesetzt. Ein weiteres Beispiel für späte Bindung sind generische Methoden wie im <a href="Common_Lisp_Object_System" title="Common Lisp Object System">Common Lisp Object System</a>.</dd></dl></li></ul>

<div class="mw-heading mw-heading4"><h4 id="Beispiele">Beispiele</h4></div>

Angenommen, eine Anwendung soll statistische Daten sowohl grafisch als auch schriftlich in Tabellenform darstellen. Außerdem soll es möglich sein, die Darstellungsmethoden über <a href="Plug-in" title="Plug-in">Plug-ins</a> zu erweitern. Dann erlaubt das Konzept der Polymorphie über das VisualizationPlugin Interface jede beliebige Implementierung (hier GraphDisplayPlugin, TextDisplayPlugin, HistogramDisplayPlugin) aufzurufen.

Die Anwendung selbst muss bei neuen <a href="Plug-in" title="Plug-in">Plug-ins</a> nicht geändert werden und kann diese einfach über das <a href="Schnittstelle_(Objektorientierung)" title="Schnittstelle (Objektorientierung)">Interface</a> mit dem Aufruf von setData und display starten.

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>interface VisualizationPlugin {

public void display();

}

class GraphDisplayPlugin implements VisualizationPlugin {

public void setData(DisplayData data) { /* set data to be displayed */ }

public void display() { /* Show Data as Graph */ }

}

class TextDisplayPlugin implements VisualizationPlugin {

public void display() { /* Show Data as table */ }

}

class HistogramDisplayPlugin implements VisualizationPlugin {

public void setData(DisplayData data) { /* set data and calculate history data */ }

public void display() { /* Show history data as Graph */ }

}

</pre></div>Das folgende Beispiel in der <a href="Programmiersprache" title="Programmiersprache">Programmiersprache</a> <a href="C-Sharp" title="C-Sharp">C#</a> zeigt Subtyping für die <a href="Methode_(Programmierung)" title="Methode (Programmierung)">Methode</a> berechneFlaecheninhalt(). Die <a href="Klasse_(Objektorientierung)" title="Klasse (Objektorientierung)">Klassen</a> Rechteck und Dreieck implementieren die Methode, die das <a href="Interface" class="mw-redirect" title="Interface">Interface</a> Polygon deklariert. Die Methode gibFlaecheninhalt(Polygon polygon) kann die Implementierung der Methode berechneFlaecheninhalt() für jeden Subtyp des Interface Polygon (siehe <a href="Abgeleitete_Klasse" title="Abgeleitete Klasse">abgeleitete Klasse</a>) aufrufen.<div class="mw-highlight mw-highlight-lang-c# mw-content-ltr" dir="ltr"><pre>public interface Polygon

{

double berechneFlaecheninhalt();

}

public class Rechteck : Polygon

{

private double breite, hoehe;

// Konstruktor

public Rechteck(double breite, double hoehe)

{

this.breite = breite;

this.hoehe = hoehe;

}

public double berechneFlaecheninhalt()

{

return breite * hoehe;

}

}

public class Dreieck : Polygon

{

private double a, b, c;

// Konstruktor

public Dreieck(double a, double b, double c)

{

this.a = a;

this.b = b;

this.c = c;

}

{

// Formel des Heron für den Flächeninhalt des allgemeinen Dreiecks

return 0.25 * Math.Sqrt((a + b + c) * (-a + b + c) * (a - b + c) * (a + b - c));

}

}

public static double gibFlaecheninhalt(Polygon polygon)

{

return polygon.berechneFlaecheninhalt();

}

public static void Main(string[] args)

{

double flaecheninhalt = gibFlaecheninhalt(new Rechteck(12, 16)); // flaecheninhalt = 192

Console.WriteLine("Das Rechteck hat den Flächeninhalt " + flaecheninhalt);

flaecheninhalt = gibFlaecheninhalt(new Dreieck(4, 13, 15)); // flaecheninhalt = 24

Console.WriteLine("Das Dreieck hat den Flächeninhalt " + flaecheninhalt);

}

</pre></div>

<div class="mw-heading mw-heading2"><h2 id="Siehe_auch">Siehe auch</h2></div>

<ul><li><a href="Dynamische_Bindung" title="Dynamische Bindung">Dynamische Bindung</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Luca Cardelli, Peter Wegner: <a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/cardelli85understanding.html">On Understanding Types, Data Abstraction, and Polymorphism.</a> In: ACM Computing Surveys. 4/17/1985. ACM Press, New York/NY, S. 471–522, <a href="Internationale_Standardnummer_f%C3%BCr_fortlaufende_Sammelwerke" title="Internationale Standardnummer für fortlaufende Sammelwerke">ISSN</a> <a rel="nofollow" class="external text" href="https://zdb-katalog.de/list.xhtml?t=iss%3D%220360-0300%22&key=cql">0360-0300</a> <a href="https://doi.org/10.1145/6041.6042" class="extiw external" title="doi:10.1145/6041.6042">doi:10.1145/6041.6042</a>.</li>

<li>Thomas Letschert, FH Giessen-Friedberg – <style data-mw-deduplicate="TemplateStyles:r261891140">

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20050802082135/http://velociraptor.mni.fh-giessen.de/Programmierung/ProgII-htmldir/node9.html">Polymorphismus</a> (<a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a> vom 2. August 2005 im <a href="Internet_Archive" title="Internet Archive">Internet Archive</a>)</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> Informatik. In: Duden. Mannheim 2001, ISBN 978-3-411-10023-1, S. 496.

</li>

<li id="cite_note-2"><a href="#cite_ref-2">↑</a> Fundamental concepts in programming languages. Lecture notes for International Summer School in Computer Programming, Copenhagen, August 1967.

</li>

<li id="cite_note-3"><a href="#cite_ref-3">↑</a> On Understanding Types, Data Abstraction, and Polymorphism. In: ACM Computing Surveys. Band 17, Nr. 4, 1985, S. 471–522.

</li>

</ol></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-09-01" href="https://de.wikipedia.org/wiki/?title=Polymorphie_(Programmierung)&oldid=248232695">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>